propositional logic - German English Dictionary